Creating evolution scenarios for hybrid systemsMAREK, V. W; SUMNER, W. II; TRUSZCZYNSKI, M et al.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 512-516, isbn 2-9502908-9-2, 2VolConference Paper

Probabilistic modelling and analysis of stand-alone hybrid power systemsLUJANO-ROJAS, Juan M; DUFO-LOPEZ, Rodolfo; BERNAL-AGUSTIN, José L et al.Energy (Oxford). 2013, Vol 63, pp 19-27, issn 0360-5442, 9 p.Article

Preemptive scheduling of hybrid parallel machinesANANTARAM BALAKRISHNAN.Operations research. 1989, Vol 37, Num 2, pp 301-313, issn 0030-364X, 13 p.Article

Stabilizability and insensitivity of switched linear systemsZHENDONG SUN.IEEE transactions on automatic control. 2004, Vol 49, Num 7, pp 1133-1137, issn 0018-9286, 5 p.Article

Modelling, analysis, and design of hybrid systemsEngell, Sebastian; Fhehse, Goran; Schnieder, Eckehard et al.Lecture notes in control and information sciences. 2002, issn 0170-8643, isbn 3-540-43812-2, XIII, 504 p, isbn 3-540-43812-2Book

Specification of discontinuities in hybrid modelsVAN BEEK, D. A; ROODA, J. E.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 415-420Conference Paper

Control theory, modal logic, and gamesKNIGHT, J. F; LUENSE, B.Lecture notes in computer science. 1997, pp 160-173, issn 0302-9743, isbn 3-540-63358-8Conference Paper

MICROGRAPHICS: From glorious past to hybrid future : Despite dire predictions of its demise, microfilm continues to be a viable storage medium, especially in hybrid document management systemsLANGE, P.Inform (Silver Spring). 1997, Vol 11, Num 8, pp 22-24, issn 0892-3876Article

SPeeDI: A verification tool for polygonal hybrid systemsASARIN, Eugene; PACE, Gordon; SCHNEIDER, Gerardo et al.Lecture notes in computer science. 2002, pp 354-358, issn 0302-9743, isbn 3-540-43997-8, 5 p.Conference Paper

Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximationsCHUTINAN, A; KROGH, B. H.Lecture notes in computer science. 1999, pp 76-90, issn 0302-9743, isbn 3-540-65734-7Conference Paper

Modeling hybrid systems by high-level petri netsGIUA, A; USAI, E.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 316-323Conference Paper

Modularity for timed and hybrid systemsALUR, R; HENZINGER, T. A.Lecture notes in computer science. 1997, pp 74-88, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Elaboration d'un cryptosystème hybride à deux niveaux = Working out a two level hybrid cryptosystemsLEE, Kyung Seok; LAURENT(Dir. thèse).1986, Non paginéThesis

ChemSpot: a hybrid system for chemical named entity recognitionROCKTÄSCHEL, Tim; WEIDLICH, Michael; LESER, Ulf et al.Bioinformatics (Oxford. Print). 2012, Vol 28, Num 12, pp 1633-1640, issn 1367-4803, 8 p.Article

Hybrid system to upgrade conventional Fenton's process by incorporating photo-fenton as a successive treatment process : Degradation of monuronCHU, W; CHAN, K. H.Industrial & engineering chemistry research. 2007, Vol 46, Num 5, pp 1505-1510, issn 0888-5885, 6 p.Article

An improved reachability analysis method for strongly linear hybrid systems (extended abstract)BOIGELOT, B; BRONNE, L; RASSART, S et al.Lecture notes in computer science. 1997, pp 167-178, issn 0302-9743, isbn 3-540-63166-6Conference Paper

Use of STATECHARTS and SIGNAL for the specification of control of hybrid systemsGUEGUEN, H.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 380-384, isbn 2-9502908-7-6Conference Paper

Automata, circuits, and hybrids: Facets of continuous timeTRAKHTENBROT, Boris A.Lecture notes in computer science. 2001, pp 4-23, issn 0302-9743, isbn 3-540-42287-0Conference Paper

A toolbox for proving and maintaining hybrid specificationsBRANICKY, M. S; DOLGINOVA, E; LYNCH, N et al.Lecture notes in computer science. 1997, pp 18-30, issn 0302-9743, isbn 3-540-63358-8Conference Paper

Heat-removal characteristics of a combined system of concentric-tube thermosyphon and heat pumpFUKUSAKO, S; SEKI, N; YAMADA, M et al.JSME International journal. 1987, Vol 30, Num 264, pp 936-944Article

Impacts of solidity and hybrid system in small wind turbines performanceMOHAMED, M. H.Energy (Oxford). 2013, Vol 57, pp 495-504, issn 0360-5442, 10 p.Article

Controllability of switched linear systemsGUANGMING XIE; DAZHONG ZHENG; LONG WANG et al.IEEE transactions on automatic control. 2002, Vol 47, Num 8, pp 1401-1405, issn 0018-9286Article

Time-deterministic hybrid transition systemsNADJM-TEHRANI, S.Lecture notes in computer science. 1999, pp 238-250, issn 0302-9743, isbn 3-540-65643-XConference Paper

Hybrid-Eisspeicher für Prozesskühlverfahren und Fernkälteanlagen: Hohe Entladeleistungen durch neuartiges Hybrid-Schmelzvertahre = Hybrid ice storage for production and process engineering applications: Enormous discharge rates by means of combined melting systemsSCHMID, W.Fleischwirtschaft (Frankfurt). 1998, Vol 78, Num 9, pp 966-968, issn 0015-363X, 989[4 p.]Article

Modelling railway systems with hybrid petri netsDECKNATEL, G; SCHNIEDER, E.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 309-315Conference Paper